рекурсивно перечислимое множество

рекурсивно перечислимое множество

 

рекурсивно перечислимое множество
 —
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

  • электросвязь, основные понятия

EN

  • recursively enumerable set


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "рекурсивно перечислимое множество" в других словарях:

  • Рекурсивно перечислимое множество — Перечислимое множество множество конструктивных объектов (например, натуральных чисел), элементы которого могут быть эффективно перенумерованы (возможно, с повторениями). Варианты определения Различным формализациям представления об алгоритме… …   Википедия

  • Перечислимое множество —         рекурсивно перечислимое множество, множество натуральных чисел или каких либо других конструктивных объектов (См. Конструктивные объекты), занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной… …   Большая советская энциклопедия

  • Перечислимое множество — Не следует путать с счётным множеством. В теории множеств, теории алгоритмов и математической логике, перечислимое множество (эффективно перечислимое, рекурсивно перечислимое, полуразрешимое множество[1])  множество конструктивных объектов… …   Википедия

  • Перечислимое — множество, рекурсивно перечислимое множество, множество натуральных чисел или каких либо других конструктивных объектов, занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной функции. См. Рекурсивные… …   Большая советская энциклопедия

  • ПРОСТОЕ МНОЖЕСТВО — рекурсивно перечислимое множество натуральных чисел, дополнение к рого есть иммунное множество. П. м. являются промежуточными в смысле так наз. m сводимости (см. Рекурсивная теория множеств).между разрешимыми множествами и творческими… …   Математическая энциклопедия

  • КРЕАТИВНОЕ МНОЖЕСТВО — творческое множество, рекурсивно перечислимое множество Анатуральных чисел, дополнение к рого Адо натурального ряда является продуктивным множеством;иными словами, множество Акреативно, если оно рекурсивно перечислимо и существует такая частично… …   Математическая энциклопедия

  • ПРОДУКТИВНОЕ МНОЖЕСТВО — множество натуральных чисел А , для к рого существует такая частично рекурсивная функция j, что для всякого рекурсивно перечислимого множества Wx с геделевым номером х, содержащегося в А. Известно, что для всякого П. м. Асуществует такая… …   Математическая энциклопедия

  • РАЗРЕШИМОЕ И ПЕРЕЧИСЛИМОЕ МНОЖЕСТВА — осн. понятия теории алгоритмов и теории рекурсивных функций (и предикатов). (Определение этих понятий на основе понятия алгоритма см. в ст. Алгоритм, раздел Основные понятия теории А.) Простейшим примером разрешимого множества может служить… …   Философская энциклопедия

  • АЛГОРИТМИЧЕСКАЯ ТЕОРИЯ ИНФОРМАЦИИ — раздел математич. логики, уточняющий и изучающий на базе понятий алгоритма и вычислимой функции основные понятия теории информации. А. т. и. стремится обосновать эти понятия без помощи обращения к теории вероятностей и так, чтобы понятия энтропии …   Математическая энциклопедия

  • ПЕРЕЧИСЛЕНИЯ ОПЕРАТОР — отображение множества всех множеств натуральных чисел в себя (т. е. отображение 2N в 2N , где N множество натуральных чисел), определяемое следующим образом. Пусть Wz рекурсивно перечислимое множество с гёделевым номером z, Du конечное множество… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»